merge arguments and there preconditions for

peek abd poke
work on introduction
fix some fixmes