mfashwe mu cyubahiro cy'urukundo rwawe commonside farmhouse is a grade two listed building situated just off gleadless common another way of eliminating quantified variables is quine's predicate functor logic