# Tautology

TRUE

## Signature

tautology() -> Predicate

## Examples
true
tautology

## Description

This predicate always return true. It is equivalent to `->(t){ true }`.