Satsify all kinds of interesting properties.
Author: Christian Cunningham
Created: 2024-05-30 Thu 21:14
Validate