try a custom generator instead of an implication