restruct. nice try
restruct ok