Added more examples of inference, cleaned up notation a bit