logic first order cs 416 3114684