Quick and easy approach to intensional equality.