Yeah, sounds good. Known enough to know the other's name (and for at least Harper to say hi to in the hall).

I just didn't want to go into this assuming Harper could just know everyone (though she may still say hi in passing in the halls regardless.)