Inference rules for cubical syntax