args[0] instanceof Insider -> casting