take PrefSpace {} ; :: thesis: PrefSpace {} is tournament-like
thus PrefSpace {} is tournament-like ; :: thesis: verum