isEven x is in hProp.