with redefs