Some Observations on Formal Methods of Qualitative Analysis