efficient-energy-inc in Tucker 4