made retract & retractall always true