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