   The solution was found for Leśniewski by his 21-year-old doctoral student Alfred Teitelbaum, later renowned under his adopted name as Alfred Tarski. It consisted in quantifying not just sentences but sentential functions or connectives: