Exercise $8\mathrm{.}3.$#KEYS Write in first$-$order logic the assertion that every key and at least one of every pair of socks will eventually be lost forever, using only the following vocabulary: Key $($T$),$ I is a key; Sock $($x$),$ x is a sock; Pair $($x$,$ y$),$ x and y are a pair; Now, the current time; Before $($tr$,$ t$2),$ time t$,$ comes before time t$2$; $150$st $(,$t$),$ object r is lost at time t$.$