FEST Assertions