Situation: my formal specifications considered technical limitations.