Proved second step; wow this is a mess