odd. can now prove onelanesimple fairly quickly. but still not using substitution rule
odd. can now prove onelanesimple fairly quickly. but still not using substitution rule

keymaerad/KeYmaeraD,keymaerad/KeYmaeraD