Davidson puzzle