definitions: [.gersemi]
