there are no literal variables or quantifiers in the sense of first order logic he was recalled six days later leading automobile solution provider in saudi arabian market guhindura urukundo rwa babiri