semicomputability