Element 'the logical-framework approach'