completed document verification, started variable register, arithmetics follows