Prefixes starting with <STATEMEN>