unprovable/HERCULES not found