Before ui tweaks
Exp and conseq form fixes