The harder test would be whether they can come up with the right invariants and abstraction in the first place