Hot: avoidingredundancy