Removed immediate methods in implications.