use builtins because I ran out of time