lg¬ P ) , m .)