add Colin's example
add constraints for unused AR