Yes, the statement immediately following a premise indicator is a premise.

Next question >>