proposiionen ivi1 , ... .....