Determining Existence of Logical Obstructions to the Distributed Task Solvability. - Sou Hoshino (CoRR, 2022)