Not every true statement which says that the statements of some class are true can count as a semantical rule otherwise all truths would be a a ytic in the sense of being true according to semantical rules.