11:00 Box #7: "1 Mimic is hiding in a black box." If this is true, then black Box #1 is a Mimic. Both red boxes become Mimics because they both say: "The top row has no Mimics." Box #5 says: "Diagonal down left from me is a Mimic." which can't be true from original presumption, making 4 Mimics total which can't be true; therefore, Box #7 is a Mimic. That makes Box #1 and Box #5 true. This leaves 2 Mimics out of 4 boxes - 2 of which say the same thing; therefore, either both red boxes are true or both are Mimics. If both red boxes are true, that means box #4's statement of: "1 Mimic is hiding in a red box." means 'Exactly 1 mimic is hiding in a red box.' If both red boxes are Mimics, that means box #4's statement means 'At least 1 Mimic is hiding in a red box.' I think box #4's statement of: "1 Mimic is hiding in a red box." means 'Exactly 1 mimic is hiding in a red box.' making boxes #4 and 6 Mimics. Please let me know if that's what it means.

14:45 Box #7: "The leftmost column contains no Mimics." If this a MImic, that makes boxes #1 and 4 also Mimics making a total of 3 Mimics and thus *_all_* remaining boxes must be true. But Box #3 can't be true because it says: "The top row contains no Mimics." making 4 Mimics; threrefore, Box #7 must be true. This makes boxes #1 and 4 true and because their statements are true, box #6 is also true and Box #5 becomes a Mimic. Box #9 says: "The rightmost column contains is no Mimics." If this is true, no blue box would be a Mimic -which contradicts Box#6. That makes Box #9 the 2nd Mimic and Box #2 becomes true. Boxes #3 and 8 are undeterminable. 😢