`check` instead of `toExpr`