FEST assertions finalized