Studies in Semi-Admissible Heuristics | Synapse