Full proposition

Full proposition