A logic for coalgebras is said to admit final semantics iff---up to
some technical requirements---all definable classes contain a fully
abstract final coalgebra. It is shown that a logic admits final
semantics iff the formulas of the logic are preserved under
coproducts (disjoint unions) and quotients (homomorphic images).