proposition (1)