comparison with assertions