Referenced by:

• logic-downwards-lowenheim-skolem-thm