verbose impl