This paper has two main goals: first, we prove that a strongly compact cardinal is an upper bound on the Hanf number for amalgamation (and related results) by giving syntactic characterizations. Second, we give a relational presentation theorem that is canonical/functorial (as opposed to Shelah’s) in order to do the above without disjointness.