Use split in such-that