most everything except for a description of bounded primorial steps