correct brute subtsitution