More stuff -  queries and all invariants