Formal Abstractions

Playing with abstract forms