BFA
Branch to False Assumption