Finished up to proposition 1.1