includes event Simplicity and nowhere simplicity of relations on structures Using computable algebra in theoretical computer science