If X 7 53 Then X Belongs To