fixed main precondition
added man pre rec