Element 'formal specifications'