content/zettel/2e1c4b.md


1
2
3
4
5
6
7
8
9
10
11

+++
title = "Assumed invariant predicates"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1c4a"]
forwardlinks = []
zettelid = "2e1c4b"
+++

This assumes the invariance of the predicates