proof follows function