Writing code as reliable as Gandalf’s wisdom — no bugs shall pass