counterfact

not defined yet