Oh yes, this should obviously be the implementation.