Putnam has famously offered a sketch of a mathematics without foundations, existing in two equivalent descriptions, set-theoretic and modal-logical. Here his proposal is critically examined, with attention to difficulties surrounding both the modal-logical description itself and especially the notion of equivalence of descriptions.