=¬+[