Anonymous proof · Reduced diagnostic

Timed mini-mock