そのままの形では演繹定理が成立しないので気になるのだが。