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

This assumes the invariance of the predicates