Fix small typo
Add more 1d-rep proofs
Add more proofs