Monica: Null checks for all methods in BookFacade.