How do we handle National Taxation computational problems involving Creditable Withholding Tax, Documentary Stamp Tax, and Value-Added Tax (VAT)? What happens in sales transactions handled by VAT-registered realty developers?