Abstract Formal Work