Question 3 (6.35)

An acceptable answer to this question must be a Hyperproof proof, specified line by line, with the appropriate icon to indicate a connection to visual information. If you need to present visual information, draw a grid or grids like that shown below. Make sure you show which line in the proof connects with which grid.

Key for the visual information:

• objects to the left of the double-vertical line are off the normal 8 8 grad;
• denotes a cube named name of size size; is used for dodec, for tet
• question marks are used in the obvious way, e.g., ? denotes an object of unknown shape named name of size size

For this problem, suppose we have the following given information.

• 
• 
• 

Goals:

1. Determine the location of f.
2. Determine the size of d.