25% of MoreLogic.v done