Basic Logic Automated Test