Ett booleskt uttryck som används i ett program för att testa ett tillstånd som, om programmet fungerar korrekt, bör alltid utvärderas som sant; annars avslutas programmet oftast med ett lämpligt felmeddelande. Påståenden används för felsökning av program och för att dokumentera hur ett program skall fungera.