Assert everything everywhere