"Easy to reason about" doesn't mean "Doesn't require you to read any documentation."