Finished up MoreCoq
Getting started on Logic