theo2: skip 9.5, solve 9.6