are these type ascriptions really necessary? that would be bad …