remove debug code
add laziness to docs/basic.md