Argh, implications are too slow for now