filed a habeas corpus petition in May 2023