import logic


context
  variable A : Type
  parameter a : A
end

section
  variable A : Type
  variable a : A
end
