Dynamic Alloc logic complete