Types::CounterTheoremType = GraphQL::ObjectType.define do
  name 'CounterTheorem'
  description 'A counter-theorem (disproved conjecture)'

  implements Types::LocIdBaseType, inherit: true