[polyml] a how-to answered already