`¬5^