reformulate some things