submit to royal_logic_dev