Implicating raised_leg → leg_glider_position
Link to implication]Reason:
Should work. It's not leg glider position if there's no raised leg.
EDIT Dammit, that's the wrong way around. Should've been leg_glider_position → raised_leg. I hope this doesn't get accidentally accepted. EDIT
Updated by furrypickle