better Or implied-atomic? & unit tests
let-aliasing initial