definitions: [.gersemi]