Use a helper function to create goals for assertion