Porter Lawler Model Theory