Interface assertion