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