|entries|kochen-specker|