Admissibility Control Logic