Basic existence theory and NLKG dynamics - Marzuola, Simon (Phoenix, 2023)