comp not -> complement