Bianchi, Logical task


v20221217