If only we had those sweet non-nil guarantees...