Symbol: check_proj