it's non-trivial to infer