Consider a queueing system that handles processing of retrieval messages from a remote system. 7. 1) Express the following requirements in propositional logic. Assume a predicate function QSg, s) returning true if the queue q is in the state s. (2 points) "There is more than one queue in the system, and queues are in either ready state or active state. There must be exactly one queue that is in the active state at a particular time. 2) Express the predicates in (1) in Alloy. (2 points)