3=¬