checking in Logic assignment