Interface PostulateEvaluatable<S extends Formula>