proper newer-than? and newer-than/extension