theo2: solved 9.3, 9.4