  This note explores the consequences of Koenigsmann's model theoretic argument
from the proof of the birational p-adic section conjecture for curves in the
context of higher dimensional varieties over p-adic local fields.
