Various theoretical problems and code for it