WIP: added some simple theorems