If a shirt costs £20 and is on sale for 25% off, what is the sale price?