Completed

Project for l4logics -- 4