updated new translation yet again, now asserts for every field
proof for new