the first real bits of logic