Boundless har kapacitet att bevisa alla kedjor, flera gånger om. Bevis A, @Base ↓