formal logic is the complete resolution level