initial commit of Logic.v