theorem
  F[;](x,g) = F.:(dom g --> x, g);
