Looks like @denotational hasn't commented yet!