page 309, in Ruby Typing with Sorbet, paragraph 3, line 3 : to instead of do
analysis tools parse them to check the code. Sorbet can do static analysis and it can also to
-----> ^^
type checking at run time.