typechecks so must be legit, right?