half the proof for ainsoworth