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.