Sample proof for structure discussion