Improved description of Functory