Actually they did. EPA registration numbers 82341-1 and 82341-4. It’s spelled out in their sec filing on April 17,2018