add the reasoning from Codes being contractible to the end