Sketch+Knowledge Type+*type plus right

Rules