Before I reversed the fix-fact simplification