llars}(1000))] \implies (y = x)
$$

3.  If an apartment is more expensive than all apartments in London, it
    must be in Moscow.<br />

$$
\forall{x} {Apt}(x) \land [\forall{y} {Apt}(y) \land {In}(y,{London}) \land ({Rent}(x) &gt; {Rent}(y))] \implies
{In}(x,{Moscow}).
$$
</p>
    </div>
</div>

<p><br /></p>

<div class="card">
    <div class="card-header p-2">
        <a href="ex_30/" class="p-2">Exercise 30 </a>
        <button type="button" class="btn btn-dark float-right" title="Bookmark Exercise" on