proposition ( Jtf li)