To be fair, I did intentionally write them in a style to mimic propositional logical statements (which are tautologies) but you are correct that they're not in a formal system so they can't actually be tautologies.