let base p = Base p