Tyler's tax return shows he had $⁢5,000 withheld in federal taxes and his total tax liability is $⁢4,000 What is the amount of his tax refund?