Lab..3? Initial version of constraints added