added method alias for 'implies' to Formula