Precondition checks and atomic - Ash Framework