∼"S"∧∼"L"⇒"P"