Casts the current Term to Truth, if possible
the current Term, casted to Truth
if the current Term is not an instance of Truth