Forcing Function Definition Algebra 1