first functional proof