Is IsTrue the same as Imply? I feel like this should be an integer value with documentation of which value maps to which function.