more semi-decidability examples