theo2: solved 9.1, 9.2