(a) ESSENTIAL: Some comments (b) FIX: Bug introduced while implementing reverse-mode-toggling fixed