use 'compare' when using the law of trichotomy