Structure Verification 0540-0780