Title: Qualitative Reasoning about Physical Systems