taking shortcuts after existence test