Alias enforce as precondition