implementation revisited