stub fns with post conds