Be Invariant
Software Engineering is simpler with sound logic
Tags: productivity, tutorial, rust