semi implication extrapolation method
stiflberries.
compiled to obj