bad type bad type bad type pdf