Define ==>* and add additional notes