The statement immediately following a premise indicator is a premise.

<< Repeat question