refine
let there be trust inside a package