to be removed, but has convenient notation