kanguka kanguka wambare imbaraga zawe defoe developed a construction technique called the upside down and roll over method there are no literal variables or quantifiers in the sense of first order logic