[=] safe pure optimisation