more sem checking