Typechecked: