Spec Clause Worktop Rectangle