Muggletonian loading ...