Rules Reduce Is Not A Function