Ein Boolean-Anweisung in einem Programm verwendet werden, um eine Bedingung zu testen, die, wenn das Programm einwandfrei funktioniert immer als True ausgewertet werden sollte; sonst wird das Programm in der Regel mit einer entsprechenden Fehlermeldung beendet. Behauptungen werden verwendet für das Debuggen von Programmen und dokumentieren, wie ein Programm funktionieren sollte.