Fixed vertices to start from 0 in clause calculations.