Implemented up to inits and tails.