the hilarity of the assumption that there is a solution