forgot to add invariants to makeSymbols...