Reduced variables in place of constants