Add some more comparison with logical semantics and a conclusion