implementing default juxtaposition with as few abstraction-assumptions as possible