simplFormul as functional as before classification