전자는 if라는 전제가 있지만 후자는 이미 비가역임