Added code for checking arbitrary removal -- Looks like it's fine.