Remove redundant specifications (nullable => 0)
Remove incorrect nullability (signed off by Book)
wip