proper conditional