Proposition (3)