If premise has no variable