Open spec on right side instead
Semantics