Laziness is on the logic front end and purity is on the execution back end.