Refactor Stark.exists