logic prog
check file