Truth predicate (source code)

= Truth predicate
{wiki=Truth_predicate}