Two new juicy assertions in the SQL front-end