Rick Ellis: Inferred Constraints