Utility for logic class