moved assume to lib; added init helper