Need splitp for this notation