Express each of these system specifications using predicates, quantifiers, and logical connectives, if necessary. a) Every user has access to exactly one mailbox. b) There is a process that continues to run during all error conditions only if the kernel is working correctly. c) All users on the campus network can access all websites whose url has a .edu extension. d) There are exactly two systems that monitor every remote server.