214: Reinhardt's default