Terminology

• Downstream means a chain that verifies Upstream through LCP
• Upstream means a chain to be verified by LCP