In computer programming, statement that a predicate is always true at that point in code execution.