Existence of santa