make coincidence and alignment compile