r e x ¬ s ,-