New Print Books Available

Are alignment guarantees formally possible for systems exceeding human-level generality?