55 B

Given by Jeremy Avigad, From CMU's Philosopy department