petitillusion: F* the system