Defined (Unit. (Empty.))
Implemented Guard.
Merge branch 'feature'