@aljif7, @yintercept, and @tandara, just curious about what happened to the $HIVE you sent to leodex. Did they show up already in your leodex wallet?