:
Simplified a : b
—
x in a : b = c : x
—