model computed function proof