More implementation notes