here is my repo for mathlogic homework