Working nicely

Pity about the explicit list of symbols...