Poster on "Finite Undecidability" presented at Model Theory and Related Topics, University of Manchester, 3-7 July 2023.