infpの方が嫌い