Simple logical deduction: IsFree -> IsProjective