re-re-re-revised where impl