真が非0ではそんなに不満なのか?