mathi.h 4:7