Forcing Function Definition Programming