If two out of every fifteen trick-or-treaters that came to your house last Halloween were dressed as Spiderman, what proportion of trick-or-treaters were not dressed as
Spiderman?