Implementation notes from discussion