proof/theorem environments and small tweaks