Det är ju enoförmodad