ABFree Checking