LOGIC UTILITIES