Proof Metabiases view 1