proposition 7
Information: proposition 7