(via intensional)