sagetex working!