Project for l4logics -- 4

In Progress