y^y=1-y