inline Rotation operator<<(const Rotation& first, const Rotation& second) { return first.then(second); }