It's tested; see below.