s t r ¬?