Working version of plus.h