If seven is an even