Beyond Consequences Logic And Control Volume 2.