That doesn’t explain how all(f,{}) => some(f,{}) may be made true with your definition preserving the distributive property.