try inducting on front, FRONT instead. come up with necessary and sufficient assumptions. still stuck