formula "(if α β γ)" α β γ, if α then β else γ とかできる formula command