logic expert