logical_update(ant).
logical_update(bee).