Explicit finished_checking property