Retirement tax questions

Are you sure that he took a distribution (which is taxable), and not a loan (which is not taxable ) unless he defaults on repayment?