FORGET still has a bug with redefinitions