Simplfying logic