[yews-optimisations]