20 + 1 : Nat
scopedTokens.lean:14:7-14:11: error(lean.unknownIdentifier): Unknown identifier `foo!`
foo! : Nat
20 + 1 : Nat