Removed slack variables from goal constraints; changed from equality to inequality