add premise-of section to the statement page