[PPL-devel] Confusion about "space dimension"