Theory problems added