Barnette's_conjecture loading ...