Fix the second proposition