Text this: Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property