Logic primer