Crift
The reasoning system