empty protocol form constructed