¹For simplicity, we leave off access control declarations and assume all members are public in this work when the distinction is unimportant.