optimization works now - planning verification of purity