After narrowing down the types