Make several methods in Logic private