Eureka: Substitution Method