Begriffsschrift loading ...