base retracting right tuples