~P is consistent.