Control/Protocol/Core.agda