Problem 2 - better intermediate assertions (only 18 unproved checks)