Proofs from modeling portfolio session.