logical tools