Try to prove totality of functions