⌊⌊    3 + 2 = 5 muß Teil des Kalküls auch der Tautologie sein. ⌋⌋