Decided to replace 'h' identifier with concrete Int's, because I can't imagine anything else being used anyway