P is closed under complement