Habeas corpus: decomposition summary