Removed little-used live-prove option. Fixed elasticity of composition box.