Verifying Solutions to Differential Equations, examples and explained