abort if effort violated