includes event Intrinsic complexity of relations on structures Turing degrees of hypersimple relations on computable structures