Submission 1
Up to if_naive