attempt to write assertions for Q