⌊⌊
„p.q = p” heißt „q folgt aus p”

|     ▮  |

|       |
⌋⌋