colon is 'such that' separator