Added a section proving fix (1:1:) ~ fix (1:)