Use better formulations, thanks to John Pask