Remove some cruft
Add a fake proof for lem-AEnv-weakening