r ¬ r | e st