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

Next question >>