from .common import (AskHandler, CommonHandler, AskCommutativeHandler,
    TautologicalHandler, test_closed_group)