Ich weiß nicht, warum ich auf $RE optimistisch bin