=¬~a