Flattened Comparison Example by mpro