proving collinearity tagslist