When is $PIPPIN suitable for empty?