Proof Metabiases view 3