claims as vertices