[Reviewer: Rob][From: Alex] Move back to specifying IFCs with an enclosing <ServiceProfile> tag.