@
@
@
@
¬φ@~q
@
@
@
@
@
@
@
@
@