Tag: Basic Propositions of Davis and Moore