Key time expressions and connectives for mocks