Target seymour. Ankomon. Every submodule of a finitely generated module is finitely generated. Mini keg of ale.