Semantics
Removed redundancy