Looks like @denotational hasn't posted yet!