Hey Chris,

I think you are right!

In a former life I had to do a lot of lattice theory and FOL model theory, and I don't always feel comfortable with these empty objects...