(Q*¬jQ*¬j