# Contradiction

FALSE

## Signature

contradiction() -> Predicate

## Examples
false
contradiction

## Description

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