Add a Theorem data type