Added first proposition

- Added first proposition and some basic definitions used