None (since it is already inferred)