On Nominal Syntax and Permutation Fixed Points (Logical Methods in Computer Science, 2020)